1. Program analysis and compilation, theory and practice
پدیدآورنده: / Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Wilhelm, R.--(Reinhard),--1946,Computer programs--Verification--Congresses,Compilers (Computer programs)--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
76
,.
V47
,
P745
,
2007
2. Program analysis and compilation, theory and practice
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: ; Computer programs ; Verification ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer programming ; Congresses. ; -Wilhelm, R. ; (Reinhard), ; 1946
3. Program analysis and compilation, theory and practice :
پدیدآورنده: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
